Buy Used and New Amy P. Felty Books

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings: 9195 (Lecture Notes in Computer Science)

by Amy P. Felty,Aart Middeldorp

ISBN 13: 9783319214009

Format: Paperback (670 pages)
Publisher: Springer
Published: 30 Jul 2015

Save for later